amsthm.dtx

---